From: Florian Müllner <fmuellner@gnome.org>
Date: Fri, 26 Apr 2013 13:46:49 +0000 (+0200)
Subject: popupMenu: Allow setting grabHelper params for PopupMenuManager
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~4276
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=5c403077456791aa1e4ac1bc9d3cbbac023bd648;p=gnome-shell.git

popupMenu: Allow setting grabHelper params for PopupMenuManager

Currently all keybindings are disabled while some popup menu is open.
However some keybindings may still be useful in some cases, so expose
GrabHelper's modal params parameter to allow specifying a keybinding
mode for particular menus.

https://bugzilla.gnome.org/show_bug.cgi?id=698938
---

diff --git a/js/ui/popupMenu.js b/js/ui/popupMenu.js
index 71cccfee3..a7644d952 100644
--- a/js/ui/popupMenu.js
+++ b/js/ui/popupMenu.js
@@ -1977,9 +1977,9 @@ const RemoteMenu = new Lang.Class({
 const PopupMenuManager = new Lang.Class({
     Name: 'PopupMenuManager',
 
-    _init: function(owner) {
+    _init: function(owner, grabParams) {
         this._owner = owner;
-        this._grabHelper = new GrabHelper.GrabHelper(owner.actor);
+        this._grabHelper = new GrabHelper.GrabHelper(owner.actor, grabParams);
         this._menus = [];
     },